由 $i \to j$, 得 $\exist m > 0: p_{ij}^{m} > 0$, 于是

第二点由定义即得. 证毕.